Results for 'O. Filologicznym Nurcie W. Logice'

997 found
Order:
  1. Krzysztof rotter.O. Filologicznym Nurcie W. Logice & I. Logika W. Dobie Kryzysu - 2001 - Studia Semiotyczne 24:115.
     
    Export citation  
     
    Bookmark  
  2. O filozoficznym nurcie w logice.Krzysztof Rotter - 2001 - Studia Semiotyczne 24:115-139.
    No categories
     
    Export citation  
     
    Bookmark  
  3. Marek Tokarz.O. Zdrowy Rozsądek W. Logice - 1994 - Studia Semiotyczne 19:67.
     
    Export citation  
     
    Bookmark  
  4.  65
    The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
    We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side. The propositional version of BI arises from an analysis of the proof-theoretic relationship between conjunction and implication; it can be viewed as a merging of intuitionistic logic and multiplicative intuitionistic linear logic. The naturality of BI can be seen categorically: models of propositional BI's proofs are given by bicartesian doubly closed categories, i.e., categories which freely combine the semantics of propositional intuitionistic (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  5. Philosophy of Logic.W. V. O. Quine - 2005-01-01 - In José Medina & David Wood (eds.), Truth. Blackwell.
    No categories
     
    Export citation  
     
    Bookmark   406 citations  
  6. The Problem of Meaning in Linguistics.W. V. O. Quine - 1953 - In Willard Van Orman Quine (ed.), From a Logical Point of View. Cambridge: Harvard University Press. pp. 47-64.
     
    Export citation  
     
    Bookmark   222 citations  
  7. Word & Object.W. V. O. Quine - 1960 - MIT Press.
     
    Export citation  
     
    Bookmark   55 citations  
  8.  82
    Logical Fictions.W. O. Brigstocke - 1920 - The Monist 30 (2):240-252.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark  
  9.  10
    Logical Fictions.W. O. Brigstocke - 1920 - The Monist 30 (4):548-567.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  6
    Logical Fictions.W. O. Brigstocke - 1920 - The Monist 30 (3):395-405.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  5
    Logical Fictions.W. O. Brigstocke - 1921 - The Monist 31 (1):36-57.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  12
    Logical Fictions.W. O. Brigstocke - 1921 - The Monist 31 (1):36-57.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  5
    Logical Fictions.W. O. Brigstocke - 1920 - The Monist 30 (2):240-252.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  11
    Logical Fictions.W. O. Brigstocke - 1920 - The Monist 30 (3):395-405.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  5
    Logical Fictions.W. O. Brigstocke - 1920 - The Monist 30 (4):548-567.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  28
    Logical Correspondence with Russell.W. V. O. Quine - 1988 - Russell: The Journal of Bertrand Russell Studies 8 (1):225.
  17. Set Theory and its Logic, revised edition.W. V. O. QUINE - 1969
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  18.  40
    Index Sets for Classes of High Rank Structures.W. Calvert, E. Fokina, S. S. Goncharov, J. F. Knight, O. Kudinov, A. S. Morozov & V. Puzarenko - 2007 - Journal of Symbolic Logic 72 (4):1418 - 1432.
    This paper calculates, in a precise way, the complexity of the index sets for three classes of computable structures: the class $K_{\omega _{1}^{\mathit{CK}}}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}$ , the class $K_{\omega _{1}^{\mathit{CK}}+1}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}+1$ , and the class K of all structures of non-computable Scott rank. We show that I(K) is m-complete $\Sigma _{1}^{1},\,I(K_{\omega _{1}^{\mathit{CK}}})$ is m-complete $\Pi _{2}^{0}$ relative to Kleen's O, and $I(K_{\omega _{1}^{\mathit{CK}}+1})$ is m-complete $\Sigma _{2}^{0}$ relative to O.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  11
    Are Necessary Truths True by Convention?Karl Britton, J. O. Urmson & W. Kneale - 1947 - Journal of Symbolic Logic 14 (3):201-202.
  20.  44
    Set Existence.R. O. Gandy, G. Kreisel & W. W. Tait - 1962 - Journal of Symbolic Logic 27 (2):232-233.
  21.  18
    O Sentido da Nova Logica.N. C. A. da Costa & W. O. Quine - 1997 - Journal of Symbolic Logic 62 (2):688.
  22.  13
    European and American Philosophers.John Marenbon, Douglas Kellner, Richard D. Parry, Gregory Schufreider, Ralph McInerny, Andrea Nye, R. M. Dancy, Vernon J. Bourke, A. A. Long, James F. Harris, Thomas Oberdan, Paul S. MacDonald, Véronique M. Fóti, F. Rosen, James Dye, Pete A. Y. Gunter, Lisa J. Downing, W. J. Mander, Peter Simons, Maurice Friedman, Robert C. Solomon, Nigel Love, Mary Pickering, Andrew Reck, Simon J. Evnine, Iakovos Vasiliou, John C. Coker, Georges Dicker, James Gouinlock, Paul J. Welty, Gianluigi Oliveri, Jack Zupko, Tom Rockmore, Wayne M. Martin, Ladelle McWhorter, Hans-Johann Glock, Georgia Warnke, John Haldane, Joseph S. Ullian, Steven Rieber, David Ingram, Nick Fotion, George Rainbolt, Thomas Sheehan, Gerald J. Massey, Barbara D. Massey, David E. Cooper, David Gauthier, James M. Humber, J. N. Mohanty, Michael H. Dearmey, Oswald O. Schrag, Ralf Meerbote, George J. Stack, John P. Burgess, Paul Hoyningen-Huene, Nicholas Jolley, Adriaan T. Peperzak, E. J. Lowe, William D. Richardson, Stephen Mulhall & C. - 2017 - In Robert L. Arrington (ed.), A Companion to the Philosophers. Oxford, UK: Blackwell. pp. 109–557.
    Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  64
    Philosophy of Logic.Willard V. O. Quine - 1986 - Philosophy 17 (3):392-393.
    With his customary incisiveness, W. V. Quine presents logic as the product of two factors, truth and grammar-but argues against the doctrine that the logical truths are true because of grammar or language. Rather, in presenting a general theory of grammar and discussing the boundaries and possible extensions of logic, Quine argues that logic is not a mere matter of words.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   146 citations  
  24.  10
    L. O. Kattsoff. Postulational methods. II. Philosophy of science, vol. 3 , pp. 67–89.W. V. Quine - 1936 - Journal of Symbolic Logic 1 (1):43-43.
  25. O Desenvolvimento da Lógica.W. C. Kneale - 1968 - Gulbenkian.
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
  26.  42
    W. V. Quine: Perspectives on Logic, Science and Philosophy.Michael O'Shea - 1994 - The Harvard Review of Philosophy 4 (1):47-57.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  11
    W. V. Quine: Perspectives on Logic, Science and Philosophy.Bradley Edmister & Michael O’Shea - 1994 - The Harvard Review of Philosophy 4 (1):47-57.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  12
    W. V. Quine: Perspectives on Logic, Science and Philosophy.Bradley Edmister & Michael O’Shea - 1994 - The Harvard Review of Philosophy 4 (1):47-57.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. Czas i stawanie się w sztucznych i naturalnych układach kognitywnych.Marek W. Bielecki - 1995 - Filozofia Nauki 4.
    In my paper I review the main strategies adopted by two leading schools in cognitive science, symbolic artificial intelligence (AI) and connectionism, in modeling time-dependent phenomena such as learning. In particular, I briefly mention shortcomings of non-monotonic logic approach that dominates symbolic AI. I also discuss the problems that beset the recurrent networks approach advocated by connectionists (e.g., S. Grossberg) and philosophers (e.g., P. Churchland), who focus their attention on oscillatory behavior of such networks. I point out that neither approach (...)
    No categories
     
    Export citation  
     
    Bookmark  
  30.  32
    The Logic of "Ulysses"; Or, Why Molly Had to Live in Gibraltar.Ralph W. Rader - 1984 - Critical Inquiry 10 (4):567-578.
    “O, rocks!” Molly exclaims in impatience with Bloom’s first definition of metempsychosis, “tell us in plain words” . Looking forward, then, we remember that Bloom asks Murphy if he has seen the Rock of Gibraltar and asks further what year that would have been and if Murphy remembers the boats that plied the strait. “I’m tired of all them rocks in the sea,” replies Murphy . Bloom’s interest derives from Molly’s connection with Gibraltar, and Molly herself in her monologue remembers (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  11
    Review: L. O. Kattsoff, Postulational Methods. II. [REVIEW]W. V. Quine - 1936 - Journal of Symbolic Logic 1 (1):43-43.
  32. Some Remarks on Normal Measures and Measurable Cardinals.Arthur W. Apter - 2001 - Mathematical Logic Quarterly 47 (1):35-44.
    We prove two theorems which in a certain sense show that the number of normal measures a measurable cardinal κ can carry is independent of a given fixed behavior of the continuum function on any set having measure 1 with respect to every normal measure over κ . First, starting with a model V ⊨ “ZFC + GCH + o = δ*” for δ* ≤ κ+ any finite or infinite cardinal, we force and construct an inner model N ⊆ V (...)
     
    Export citation  
     
    Bookmark   1 citation  
  33.  60
    Nieuwe argumenten tegen de toeschrijving Van het auteurschap Van de „stelkonstige reeckening Van den regenboog” en „reeckening Van kanssen” aan Spinoza.W. N. A. Klever - 1985 - Tijdschrift Voor Filosofie 47 (3):493 - 502.
    An accurate analysis of the text shows that the small treatises have a logical structure and a style which is in all aspects unspinozistic. The main points of difference are : a formalistic interpretation of mathematics‚ the opposition between mathematics and physics‚ slavish cartesianism‚ the presence of numerous pleonasms‚ carelessness of expression‚ parade of learning‚ prolixity‚ attention for irrelevant qualities of authors quoted‚ educational purpose. Together with De Vet’s demonstration that the author of SRR and RK is still alive in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  33
    Thomas Aquinas on the Passions: A Study of Summa Theologiae Ia2ae 22–48. By Robert Miner; and The Logic of Desire: Aquinas on Emotion. By Nicholas E. Lombardo, O.P. [REVIEW]S. Joseph W. Koterski - 2013 - International Philosophical Quarterly 53 (4):466-468.
  35.  14
    Gitik Moti. The negation of the singular cardinal hypothesis from O = K ++. Annals of pure and applied logic, vol. 43 , pp. 209–234. [REVIEW]W. J. Mitchell - 1991 - Journal of Symbolic Logic 56 (1):344-344.
  36.  46
    Abbas, Niran, editor. Mapping Michel Serres. Ann Arbor: University of Michigan Press, 2005. Pp. ix+ 259. Paper, $27.95. Achinstein, Peter. Scientific Evidence: Philosophical Theories & Applications. Baltimore: Johns Hopkins University Press, 2005. Pp. ix+ 286. Cloth, $49.95. Allard, James W. The Logical Foundations of Bradley's Metaphysics: Judgment, Inference, and Truth. Cambridge. [REVIEW]Jack O. Balswick, Pamela Ebstyne King, Kevin S. Reimer, Steve Barbone, Lee Rice & Martin Hemelik - 2006 - Journal of the History of Philosophy 44 (1):131-34.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. C. O. HILL "Word and object in Husserl, Frege, and Russell. The roots of twentieth century philosophy". [REVIEW]W. Mays - 1994 - History and Philosophy of Logic 15 (2):259.
  38. Grande Sertão: Veredas by João Guimarães Rosa.Felipe W. Martinez, Nancy Fumero & Ben Segal - 2013 - Continent 3 (1):27-43.
    INTRODUCTION BY NANCY FUMERO What is a translation that stalls comprehension? That, when read, parsed, obfuscates comprehension through any language – English, Portuguese. It is inevitable that readers expect fidelity from translations. That language mirror with a sort of precision that enables the reader to become of another location, condition, to grasp in English in a similar vein as readers of Portuguese might from João Guimarães Rosa’s GRANDE SERTÃO: VEREDAS. There is the expectation that translations enable mobility. That what was (...)
     
    Export citation  
     
    Bookmark  
  39. AA. W., The Logico Algebraic Approach to Quantum Mechanics, voL II: Con-temporary Consolidation, ed. by CA. Hooker, D. Reidel Publ. Camp., Dor-drecht-Boston-London, 1979. AA. W., Theoretical Approaches to Complex Systems, Proceedings, Tubingen 1977, Lecture Notes in Biomathematics, 21, Springer-Veriag, Berlin 1978. [REVIEW]K. O. Apel - 1979 - International Logic Review 12 (19-24):156.
  40.  82
    Dewey on Metaphysics, Meaning Making, and Maps.James W. Garrison - 2005 - Transactions of the Charles S. Peirce Society 41 (4):818-844.
    In lieu of an abstract, here is a brief excerpt of the content:Dewey on Metaphysics, Meaning Making, and Maps James W. Garrison Blueprints and maps are propositions and they exemplify what it is to be propositional.1 [E]very characteristic trait is a quality.... produced and destroyed by existential conditions.2 John Dewey's claim that there are metaphysical generic traits of existence the theory of which provides "a ground-map" for cultural criticism remains controversial. I will work along two intertwining lines to try and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41. Review: W. W. Tait, A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic. [REVIEW]Moto-O. Takashaih - 1968 - Journal of Symbolic Logic 33 (2):289-290.
  42.  8
    Tait W. W.. A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic. Bulletin of the American Mathematical Society, vol. 72 , pp. 980–983. [REVIEW]Moto-O. Takahashi - 1968 - Journal of Symbolic Logic 33 (2):289-290.
  43.  15
    Bibliography of John Dewey. By M. H. Thomas, Columbia University Press, New York. 246 pages, $3. - The Origin of Submarine Canyons. By D. Johnson, Columbia University Press, New York. 126 pages, $2.50. - Nature in the German Novel of the Late Eighteenth Century. By C. L. Hornaday, Columbia University Press, New York. 221 pages, $2.25. - Philosophy in the Poetry of Edwin Arlington Robinson. By Estelle Kaplan. Columbia University Press. 162 pages, $2.25. - The March of Medicine. Edited by the Committee on Lectures to the Laity of the N. Y. Academy of Medicine. Columbia University Press, New York. 168 pages, $2.00. - The 1938 Mental Measurements Yearbook. By O. K. Buros, Rutgers University Press. 415 pages $3. - Psychology and the Cosmic Order, 185 pages; Logic and the Cosmic Order, 92 pages; God and the Cosmic Order, 157 pages. Three books by Louis F. Anderson, Society for the Elucidation of Religious Principles, New York. - Cosmo-Retardation. By I. Ziporyn, Dexter Publishing Co., Detroi. [REVIEW]M. M. W. - 1940 - Philosophy of Science 7 (3):387-388.
  44.  21
    St. Thomas Aquinas’ Philosophy in the Commentary to the Sentences. [REVIEW]O. J. - 1977 - Review of Metaphysics 30 (3):532-533.
    This book notes that from the standpoints of "speculative vigor, originality and profoundness of thought" the Scripta on the Sentences "ranks first in the long list of Aquinas’ works". Yet, it claims, no commentator "has ever tried to extract from it the basic elements of his philosophy". The difficulty is that "Aquinas carefully avoids attributing to himself the discovery of any new doctrine". Mondin accordingly undertakes to disengage in some areas the philosophy contained in the Scripta. Logic is covered briefly, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  14
    Review: Moti Gitik, The Negation of the Singular Cardinal Hypothesis from $o(kappa) = kappa^{++}$. [REVIEW]W. J. Mitchell - 1991 - Journal of Symbolic Logic 56 (1):344-344.
  46.  3
    What’s Love Got to do With It?Bruce W. Fraser - 2004 - International Journal of Philosophical Practice 2 (2):23-37.
    This paper argues for an intrinsic connection between Logic-Based Therapy (LBT) and empirical psychology, a connection that suggests the need to employ both philo­sophical and psychological theories in the clinical setting. This link is established by arguing that LBT is conceptually grounded in naturalized epistemology, the view introduced and defended by W. V. O. Quine in the aftermath of his attack on the Analytic-Synthetic dis­tinction. Naturalized epistemology places empirical psychology and logic on the same epis­temic foundation, and, it is argued, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  9
    Dicaearchus of Messana: Text, Translation, and Discussion.William W. Fortenbaugh & Eckart Schütrumpf - 2001 - Routledge.
    Dicaearchus of Messana (fl. c. 320 b.c.) was a peripatetic philosopher. Like Theophrastus of Eresus, he was a pupil of Aristotle. Dicaearchus's life is not well documented. There is no biography by Diogenes Laertius, and what the Suda offers is meager. However, it can be ascertained that a close friendship existed between Aristoxenus and Dicaearchus as both are mentioned as personal students of Aristotle. Dicaearchus lived for a time in the Peleponnesus, and in his pursuit of geographical studies and measuring (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  25
    Quine. Willard Van Orman O sentido da nova lógica . Biblioteca de ciéncias sociais. Livraria Martins Editora, Sãao Paulo 1944, 252 pp. [REVIEW]George D. W. Berry - 1947 - Journal of Symbolic Logic 12 (1):16-17.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  7
    Boone William W.. Certain simple, unsolvable problems of group theory V–VI. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 60 , pp. 22–27, 227–232; also Indagationes mathematicae, vol. 19 , pp. 22–27, 227–232. [REVIEW]Michael O. Rabin - 1957 - Journal of Symbolic Logic 22 (4):373-374.
  50.  8
    Boone William W.. Certain simple, unsolvable problems of group theory I–IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 , pp. 231–237, 492–497, and vol. 58 , pp. 252–256, 571–577; also Indagationes mathematicae, vol. 16 , pp. 231–237, 492–497, and vol. 17 , pp. 252–256, 571–577. [REVIEW]Michael O. Rabin - 1957 - Journal of Symbolic Logic 22 (4):372-373.
1 — 50 / 997